A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

A theory of magnitudes involves criteria for their comparison, equivalence and addition. We examine these aspects from an abstract viewpoint, stressing independence and definability. These considerations are triggered by the so-called De Zolt’s principle in the theory of equivalence of plane polygons.

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

Veloso-Pereira-Haeusler_On-what-there-must-be.

As gravuras impressas no periódico setecentista Academia dos Humildes e Ignorantes são, neste estudo, fonte para procurar saber quem eram os seus impressores, quantas edições se podem localizar desta obra e qual era o acolhimento por parte do público. As gravuras, sendo um elemento informativo que passa normalmente despercebido, permitem conhecer melhor o próprio periódico onde são publicadas e, assim, perceber o modo como se afirma esse género novo que era o das publicações periódicas de conteúdo cultural e informativo e (...) o papel que estas publicações têm no desenvolvimento da tipografia em Portugal no século XVIII. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...) modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

O artigo critica a posição filosófica neopirrônica defendida por Oswaldo Porchat Pereira (Porchat 5). Argumentamos que uma de suas noções básicas, a de fenômeno, carece de uma definição apropriada. Além disso, mostramos que o neopirronismo abre as portas para o irracionalismo e que a ciência moderna traz problemas para essa postura.

MORCILLO, MARTA GARCÍA. LAS VENTAS POR SUBASTA EN EL MUNDO ROMANO: LA ESFERA PRIVADA. Barcelona, Universidad de Barcelona, 2005, 372 pp.

O renomado poeta, escritor, teatrólogo e estudioso dos autores clássicos, Angelo Tonelli apresenta uma coletânea, no original, traduzida e comentada, dos fragmentos de Heráclito, o pensador de Éfeso (ca. 540-475 a.C.). A grande novidade da obra de Tonelli consiste na recuperação, em termos hermenêuticos, do contexto oriental do pensamento de Heráclito. Já na introdução, Tonelli retoma as dicotomias Oriente/Ocidente, mistérios órficos-dionisíacos/espírito apolíneo, contemplação/ação, para mostrar como o pensador de Éfeso procurou superar tais oposições. Começa seu estudo com as tabuinhas encontradas (...) em Ólbia, cuja datação é incerta, mas que propõe serem anteriores a Heráclito e que, portanto, sugerem uma origem nos mistérios para a sabedoria de Heráclito. (shrink)

Michel Fattal, da Sociedade Platônica Internacional, é professor na Universidade de Grenoble, França, autor de uma dezena de livros sobre o tema do logos, tanto na Filosofia grega, como na sua recepção medieval. Neste novo livro, propõe-se a refletir sobre as diferentes formas de racionalidade, entre a Antiguidade e a Idade Média, com estudos sobre Luciano de Samósata, Parmênides, Platão, Plotino e Santo Anselmo.

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Review of MONTEL, S.; POLLINI, A. La question de l’espace au IVe siècle Avant J-C. dans le mondes grec et étrusco-italique: continuité, ruptures, reprises. Strasbourg, Presses Universitaires de Franche-Comté.

This paper analyzes the theory of area developed by Euclid in the Elements and its modern reinterpretation in Hilbert’s influential monograph Foundations of Geometry. Particular attention is bestowed upon the role that two specific principles play in these theories, namely the famous common notion 5 and the geometrical proposition known as De Zolt’s postulate. On the one hand, we argue that an adequate elucidation of how these two principles are conceptually related in the theories of Euclid and Hilbert is highly (...) relevant for a better understanding of the respective geometrical practices. On the other hand, we claim that these conceptual relations unveil interesting issues between the two main contemporary approaches to the study of area of plane rectilinear figures, i.e., the geometrical approach consisting in the geometrical theory of equivalence and the metrical approach based on the notion of measure of area. Finally, in an appendix logical relations among equivalence, comparison and addition of magnitudes are examined schematically in an abstract setting. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Morality has traditionally been described in terms of an impartial and objective “moral law”, and moral psychological research has largely followed in this vein, focusing on abstract moral judgments. But might our moral judgments be shaped not just by what the action is, but who is doing it? We looked at ratings of moral wrongness, manipulating whether the person doing the action was a friend, a refugee, or a stranger. We looked at these ratings across various moral foundations, and conducted (...) the study in Brazil, US, and UK samples. Our most robust and consistent findings are that purity violations were judged more harshly when committed by ingroup members and less harshly when committed by the refugees in comparison to the unspecified agents, the difference between refugee and unspecified agents decays from liberals to conservatives, i.e., conservatives judge them more harshly than liberals do, and Brazilians participants are harsher than the US and UK participants. Our results suggest that purity violations are judged differently according to who committed them and according to the political ideology of the judges. We discuss the findings in light of various theories of groups dynamics, such as moral hypocrisy, moral disengagement, and the black sheep effect. (shrink)

Discusses the role of education in liberating the oppressed people of the Third World.

Famous Brazilian educational and social theorist Paulo Freire presents his ideas on community solidarity in moving toward social justice in schools and society in a set of talks and interviews shortly before his death, supplemented with ...

Portugal ranks fourth among countries with the highest rate of overweight population, considering that 67.6% of the Portuguese population over the age of 15 is overweight or obese. To our knowledge, limited studies have investigated students’ attitudes toward physical education in Portugal. Such research is necessary because it can provide valuable insights for policy and application in the curriculum development for physical education, which may eventually increase participation in physical and sports activities. This study analyzed students’ attitudes toward physical education (...) (PE) according to sociodemographic variables, including grade level, socioeconomic status, and gender, and their participation in extracurricular sports activities and respective PE grades. The sample comprised 476 high school students (from the 7th, 8th, and 9th-grade levels) from five public schools located in Portugal. The Students’ Attitudes toward Physical Education Questionnaire was adapted and validated for use with Portuguese students as a two-factor model. Findings show that students generally have a moderately positive attitude toward PE. However, students’ positive attitudes tend to decrease throughout high school, which is particularly significant in the 9th grade. Furthermore, students’ attitudes are influenced by gender, extracurricular sports practice, and grades. These findings may help stakeholders reflect on how to frame PE in a more meaningful way to create a solid foundation for maintaining an active lifestyle throughout life. Implications for further research and practice are discussed. (shrink)